81. Rational Drug Design
Author: edited by Donald G. Truhlar, W. Jeffrey Howe, Anthony J. Hopfinger, Jeff Blaney, Richard A. Dammkoehler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics.,Numerical analysis.
82. SOFSEM '95:
Author: edited by Miroslav Bartosek, Jan Staudek, Jirí Wiedermann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Database management.,Software engineering.
83. Scientific Software Systems
Author: edited by J.C. Mason, M.G. Cox.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Science (General),Sciences -- General.
Classification :
QA76
.
95
E358
1990
84. Semantics for concurrency :
Author: [edited by] M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems -- Parallel programming,Parallel programming (Computer science)
Classification :
QA76
.
6
E358
1990
85. Shared-memory parallelism can be simple, fast, and scalable /
Author: Julian Shun.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel computers-- Programming.,Parallel programming (Computer science),Parallel computers-- Programming.,Parallel programming (Computer science)
Classification :
QA76
.
642
.
S587
2017
86. Simulated Evolution and Learning.
Author: Bob McKay
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
87. Software engineering, artificial intelligence, networking and parallel/distributed computing 2015 /
Author: edited by Roger Lee.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computational intelligence.,Engineering.,Artificial Intelligence (incl. Robotics),Computational Intelligence.
Classification :
Q342
88. Static Analysis :
Author: by Patrick Cousot, Moreno Falaschi, Gilberto File.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
89. Stochastic Optimization: Algorithms and Applications
Author: edited by Stanislav Uryasev, Panos M. Pardalos.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing.,Mathematical optimization.,Mathematics.,Operations research.
90. Supercomputing.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
91. Systems programming in Unix/Linux /
Author: K.C. Wang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Linux.,UNIX (Computer file),Linux.,UNIX (Computer file),Systems programming (Computer science),Data Structures.,Operating Systems.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Data Modeling & Design.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Operating systems.,Programming & scripting languages: general.,Systems programming (Computer science)
Classification :
QA76
.
76
.
O63
W36
2018
92. The Monte Carlo method in condensed matter physics
Author: edited by K. Binder ; with contributions by A. Baumgärtner [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Condensed matter.,Monte Carlo method.,Statistical physics.
Classification :
QC174
.
85
.
M64
E358
1992
93. The Turing omnibus :
Author: A.K. Dewdney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Computers.,Computers.,Electronic data processing.,Informatica.,Informatik,Informatique.,Ordinateur.,Toepassingen.
Classification :
QA76
.
D45
1989
94. The handbook of research on scalable computing technologies /
Author: [edited by] Kuan-Ching Li [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational grids (Computer systems),Parallel processing (Electronic computers),System design.,Ubiquitous computing.,Computational grids (Computer systems),COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Parallel processing (Electronic computers),System design.,Ubiquitous computing.
Classification :
QA76
.
9
.
C58
H356
2010eb
95. The (new) Turing omnibus :
Author: A.K. Dewdney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
Classification :
QA76
.
D448
1993
96. The programming and proof system ATES advanced techniques integration into efficient scientific software
Author: Armand Puccetti (ed.). With contrib. by D. Brocard ...
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving.,Computer programming.,Computer software -- Development.
97. Tools and algorithms for the construction and analysis of systems :
Author: Tomáš Vojnar, Lijun Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Computer software-- Verification.,System analysis.,System design.
Classification :
QA76
.
9
.
S88
